1. Automation of reasoning
المؤلف: / edited by Jorg Siekmann and Graham Wrightson
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
QA76
.
9
،.
A96
,
A94
1983


2. Automation of reasoning
المؤلف: edited by Jorg Siekmann and Graham Wrightson
المکتبة: (طهران)
موضوع: ، Automatic theorem proving
رده :
QA
76
.
9
.
A96A97

